Your search returned 8 records. Click on the hyperlinks to view further details of Titles..

 

Magazine Name : Ieee Transactions On Software Engineering

Year : 1991 Volume number : 17 Issue: 11

Retrospective On The Vax Vmm Security Kernel (Article)
Subject:
Author:
page:      1147 - 1165
Covert Flow Trees A Visual Approach To Analyzing Covert Storage Channels (Article)
Subject:
Author:
page:      1166 - 1185
A Uniform Presentation Of Confidentiality Properties (Article)
Subject:
Author:
page:      1186 - 1194
Modeling Security Relevant Data Semantics (Article)
Subject:
Author:
page:      1195 - 1203
Automated Analysis Of Concurrent Systems With The Constrained Expression Toolset (Article)
Subject:
Author:
page:      1204 - 1222
Prism Methodology And Process Oriented Environment (Article)
Subject:
Author:
page:      1270 - 1283
Concise Papers (Article)
Subject:
Author:
page:      1284 - 1288
Correspondence (Article)
Subject:
Author:
page:      1289 - 1295